|
|
Concurrency, compositionality, and correctness : , essays in honor of Willem-Paul De Roever /
Publication:
New York : Springer, 2010
. x, 375 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computing and combinatorics : , 16th annual international conference, COCOON 2010, Nha Trang, Vietnam, July 19-21, 2010 : proceedings /
Publication:
Berlin ; | New York : Springer, 2010
. xiii, 542 p. :
24 cm.
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational science and its applications -- ICCSA 2010 : , international conference, Fukuoka, Japan, March 23-26 : proceedings /
Publication:
Berlin ; | New York : Springer, 2010
. p. 2 (602) p. :
24 cm.
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
No cover image available
|